Works by William N. Reinhardt

( view other items matching `William N. Reinhardt`, view all matches )
8 found
Order:
  1.  89
    Some remarks on extending and interpreting theories with a partial predicate for truth.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (2):219 - 251.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  2.  93
    Epistemic theories and the interpretation of gödel's incompleteness theorems.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (4):427--74.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  3.  40
    Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  4.  65
    Absolute versions of incompleteness theorems.William N. Reinhardt - 1985 - Noûs 19 (3):317-346.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  57
    Necessity predicates and operators.William N. Reinhardt - 1980 - Journal of Philosophical Logic 9 (4):437 - 450.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  50
    Epistemic set theory.William N. Reinhardt - 1988 - Notre Dame Journal of Formal Logic 29 (2):216-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  20
    Robinson A.. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302. [REVIEW]William N. Reinhardt - 1970 - Journal of Symbolic Logic 35 (1):149-149.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Review: A. Robinson, Model Theory and Non-Standard Arithmetic. [REVIEW]William N. Reinhardt - 1970 - Journal of Symbolic Logic 35 (1):149-149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark